Revert a compiler warning fix from ea6a5a6.
Fix for --force-logic to extend its reach to the parser.
Fix for (user) context-dependence of arith TO_INT/IS_INT rewriting and rewrite-divk.