Fixed i235 for ss=simple, ignore prev commit

http://gsd.uwaterloo.ca:8888/question/976/error-in-alloy-generator-maybefromjust-nothing