propagateModificationToTupleConsumers(tuple, tupleindex, type, oldvalue, newvalue, state, mem, agenda); propagateModificationToTupleConsumers(tuple, tupleindex, type, oldvalue, newvalue, state, mem, agenda);
propagateModificationToTupleConsumers(tuple, tupleindex, type, oldvalue, newvalue, state, mem, agenda); propagateModificationToTupleConsumers(tuple, tupleindex, type, oldvalue, newvalue, state, mem, agenda);