{motive_1 : Lean.Syntax → Sort u} →
  (t : Lean.Syntax) →
    ((info : Lean.SourceInfo) → (val : String) → motive_1 (Lean.Syntax.atom info val)) →
      (Nat.hasNotBit 4 t.ctorIdx → motive_1 t) → motive_1 t