Typing analysis to make a graph of all the function calls