Class StaticTypeCheckingVisitor.VariableExpressionTypeMemoizer