(motive : Option Lean.IR.SimpleGroundExpr → Sort u_1) →
  (val : Option Lean.IR.SimpleGroundExpr) →
    ((ref : Lean.Name) → motive (some (Lean.IR.SimpleGroundExpr.reference ref))) →
      ((other : Option Lean.IR.SimpleGroundExpr) → motive other) → motive val