Improved ObjectModel API and factorized common traits.
Modified SootClassReachableAnalysis to support arrays.

It should also be faster now.