(motive : Lean.Expr × Lean.SubExpr.Pos × Option Lean.Name → Sort u_1) →
  (__discr : Lean.Expr × Lean.SubExpr.Pos × Option Lean.Name) →
    ((expr : Lean.Expr) →
        (subexprPos : Lean.SubExpr.Pos) →
          (fvarUserName? : Option Lean.Name) → motive (expr, subexprPos, fvarUserName?)) →
      motive __discr