[ ] So far, we are using binding information in the AST. However, I think this is not necessary as we are using compiled code (no type problems will be found). In such case, we could, in principle, get ride of the type information. In return, the analysis will perform faster as Binding information is expensive