walker for complete interprocedural graph