Fix for --force-logic to extend its reach to the parser.
Mostly resolves bug #561 memory leaks, and more.
Fix for (user) context-dependence of arith TO_INT/IS_INT rewriting and rewrite-divk.