interprocedural convex polyhedra