Added semantic equality tests for code generated from CIL
Added some more semantic equality tests; fixed bug in CIL to SSM transformation where temporary variables were named incorrectly