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