linear div,mod,/
testing
fix models for linear /,div,mod
remove smt engine unnecessary stuff
bugfixes, plus option --rewrite-divk to enable linear ppRewrite of /, div, mod
another #warning
some fixes, more rewrites
indexed function checks in strict mode
fix to rewriter