MoveDef LiftToToplevel PatBindIn3 now passes