∀ (ref : Lean.Syntax) (name : String) (suffix? : Option Lean.Name) (fullRef : Lean.Syntax),
  sizeOf (Lean.Elab.Term.LVal.fieldName ref name suffix? fullRef) =
    1 + sizeOf ref + sizeOf name + sizeOf suffix? + sizeOf fullRef