Revert "Use jimple instead of shimple:".

This reverts commit bd954dc379e1e3db50f7027f800a29a4aba4fc1b.

I think this may cause a bug in the equivalence between values.
Fixed a bug where the class reported of the call locations were wrong.
Fixed bug referenced in commit 7ad771a69ce2b8a9c88f3683b888f8d1b476123a,
regarding contract arguments that are primitive field.
This was solved by implementing a new analysis that captures information about
local copies of fields.