Another MoveDef.liftToToplevel test passes