stashing work: kill Kleene-Mycroft iteration when the number of
constraints > 1000