new Method: LiveVariablesProblem:addLiveLocalVars