better handling of procs
fix bug in interprocedural points-to analysis