(motive : Lean.Meta.AC.PreExpr × Lean.ExprSet → Sort u_1) →
  (__discr : Lean.Meta.AC.PreExpr × Lean.ExprSet) →
    ((preExpr : Lean.Meta.AC.PreExpr) → (vars : Lean.ExprSet) → motive (preExpr, vars)) → motive __discr