propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);
propagateAdditionToTupleConsumers(resulttuple, state, mem, agenda);