AST->IR->SSM: added local variables