-caseAssignStmt & caseInvokeStmt