Make sure all non-deferred methods are implemented

Checked by a new post condition after memoize.

Two bugs were detected and fixed by the condition

(1) Memoize did not implement getters and setters of ParamAccessors
(2) ResolveSuper did not implement super accessors in non-trait classes.

Review by @DarkDimius