Fail Ltac clear h := inversion h; clear h.