IR*: small fixes
IR->SSM: fixed temporaries
IR->SSM: fixed tuples and stack thingies. Added more interesting test-case