Method: getStateDesVars(SStmIR)

ERROR: Error while reading the sourcefile!