the attached example dies with an assertion on missing NASSIGN in the WL transformation phase (11) or so: