Class AssignCheckerModuleVisitor