restructuring packages
added intraprocedural graph construction