§2.3.3.(a) Static adjustment

If a base class B shall be lifted to a role class R that is not bound to (playedBy) B, but if a subclass of R — say R2 — is bound to B, lifting is statically setup to use R2, the most general subclass of R that is bound to B or one of its super-types.

Restriction:
This step is not applicable for parameter mappings of replace callin bindings (§4.5.(d)).