Release 4
Merge pull request #71 from MLanguage/uninitialized_vartmp_check Refactoring lvalue variable translation and added check for subtle invariant
Merge pull request #71 from MLanguage/uninitialized_vartmp_check Refactoring lvalue variable translation and added check for subtle invariant