MoveDef LiftToToplevel WhereIn2 test passes, PatBindIn2 test pending