Add real test suite for Soot pair sharing analysis.
Reimplemented p.sharing Soot analysis from the untyped domain