§2.3.5.(a) Problematic declared lifting

A method with declared lifting (§2.3.2) may have to declare org.objectteams.LiftingFailedException.