MoveDef LiftToTopLevel PatBindIn1 test added and passes