Working on MoveDef LiftToToplevel PatBindIn3 test
MoveDef LiftToToplevel PatBindIn3 now passes