Changed the infrastructure for how the claferArgs are set up
Fixed i235, in this situation treat '->' as ':'
Fixed i235 for ss=simple, ignore prev commit

http://gsd.uwaterloo.ca:8888/question/976/error-in-alloy-generator-maybefromjust-nothing
Fixed merge issues
Merge branch 'develop' into i236
Merge pull request #22 from gsdlab/i236

I236
fixed merge conflict from develop
Merge pull request #24 from gsdlab/i235

I235
Fixed mismatching child and parent.
Fixed for the model

x ->> integer
y ->> integer
z -> integer = sum (x ++ y)

Where "sum (x ++ y)" did not compile.
Fixed test case 'case_refrence_Unused_Absstract_Clafer'
merged with develop