Remove useless method.
Fix major unsoundness issue.

But this compromises records returned from inlined methods.