Put retraction tuples in a separate heap, so that retraction tuples are not processed before assertion tuples.