Change in specification: we do not deal with intermediate abstract classes and methods which are implemented deep in the class hierarchy and not in direct subclasses. Deep pull ups can be performed by successively applying one-level pull-ups. As a result, tests 12 and 31c have changed and are now satisfied.

As a result too, the set of impacted classes depends only on the target superclass and not on the chosen methods anymore.