finally decided to do a minimalized inter-procedural analyzer