Fix test suite for parametric pair sharing analysis.
Preliminary support for inter-procedural analysis in Soot.
Interprocedural analysis begin to work in non-recursive numerical case