propagateModificationToTupleConsumers(resulttuple, null, null, resulttuple, state, mem, agenda);
propagateModificationToTupleConsumers(resulttuple, null, null, resulttuple, state, mem, agenda);
propagateModificationToTupleConsumers(resulttuple, type, oldvalue, newvalue, state, mem, agenda); if(contains) propagateModificationToTupleConsumers(resulttuple, type, oldvalue, newvalue, state, mem, agenda);
propagateModificationToTupleConsumers(resulttuple, type, oldvalue, newvalue, state, mem, agenda); if(contains) propagateModificationToTupleConsumers(resulttuple, type, oldvalue, newvalue, state, mem, agenda);
propagateModificationToTupleConsumers(resulttuple, null, null, resulttuple, state, mem, agenda);
propagateModificationToTupleConsumers(resulttuple, null, null, resulttuple, state, mem, agenda);