Fixed i226

http://gsd.uwaterloo.ca:8888/question/948/unary-minus-generated-incorrectly-for-alloy42
Merge branch 'develop' into i226
Merge branch 'develop' into i226
added a test case for i226
Merge pull request #25 from gsdlab/i226

Fixed i226