propagateModificationToObjectConsumers(it.next(), type, oldvalue, newvalue, state, mem, agenda);
propagateModificationToObjectConsumers(it.next(), type, oldvalue, newvalue, state, mem, agenda);
propagateModificationToObjectConsumers(it.next(), type, oldvalue, newvalue, state, mem, agenda);
propagateModificationToObjectConsumers(it.next(), type, oldvalue, newvalue, state, mem, agenda);