refactor SSACGenerator
added GetCurrentVariablesBefore(), GetCurrentVariablesAfter()