nodemem.addResultTuple(resulttuple); propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
nodemem.addResultTuple(resulttuple); propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
nodemem.addResultTuple(resulttuple); propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
nodemem.addResultTuple(resulttuple); propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
nodemem.addResultTuple(resulttuple); propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
nodemem.addResultTuple(resulttuple); propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);