Class StaticTypeCheckingVisitor