temporary fix for initialization assignment statements (involves sidestepping variableDotExps there via a walk method).
Merge pull request #141 from Welchd1/translation-tweak

temporary fix for initialization assignment statements (involves sideste...
commented out a line in abstract translator so it doesn't print the translated code to std_out
Merge pull request #142 from yushan87/smallfix

Minor Fix
minor fix to get Murali's assignment generating VCs
Merge pull request #143 from yushan87/cpsc372-fixes

minor fix to get Murali's assignment generating VCs
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE