analyzeTypes traverses the tree and analyzes variables with their corresponding type recursively from expressions! returns an error if we have a type missmatch anywhere!
(ast AST)
source not stored for this graph (policy: none)
no test coverage detected