Fix SootObjectModel and SootCRA.

This has probably broken other test. Check them.
We still need to decide how to deal with arrays and interfaces.
Add test suite for ObjectModel and SootObjectModel