Compare method bodies for changes in inc optimizer.

This should be on the top-level, shouldn't it? I mean outside of the `object TreeEquiv`.