bug fixes - wrong call to "move" resulting in wrong restriction - to_heap with no restriction of Args properly handled (used to abort) - abort on unif problems not in the pattern fragment, new command line flag -delay-problems-outside-pattern-fragment to be compatible with Teyjus