Started implementing controlflow for interprocedural analysis