CIL->SSM: Fixed several transformation bugs involving method calls; added several more tests for complex control flow and side effects with and by method calls; ref and out parameters are not yet supported