Improved equivalence analysis by only analyzing the required methods.
Fixed bug where equiv analysis did not handle static fields.