CSPM.TypeChecker.InteractiveStmt