Fixed passes that simplify functions that return structures. Running these passes in SMACK. Fixes #28.
Handing of functions that return structures seems to be working.
Changed type from long into int64.
Added a small assertion.
Merge branch 'develop' into structret
Merge branch 'structret' into develop