Interprocedural Dependencies Checker