Fix AssignStmt::VisitCheck()