MoveDef LiftToToplevel CaseIn1 test added and passes