Added plan for interprocedural assertion reasoning.