Update CbTypeCheckVisitor2.cs