Traverse over the IR to get a vector of  functions and the <caller,
callee vector> store them in class Escape_analysis