Alloy model files are also looked for in source directory
Changed processing tests to use the alloy way of integer addition
Isolated ExprRewriter
Small edits
Started SmtPreprocessor
Non quatified Sint Expressions work
Initial work on support of quantifiers
Nonquantified models work again