∀ (text : Lean.FileMap) (endPos : String.Pos.Raw),
  (if String.Pos.Raw.prev text.source (String.Pos.Raw.prev text.source endPos) ≤ text.source.rawEndPos then
      String.Pos.Raw.prev text.source (String.Pos.Raw.prev text.source endPos)
    else text.source.rawEndPos) ≤
    text.source.rawEndPos