remove dump of fixpoint state
keep stack of rules applied and raise Loop exception above some limit