Gets or sets the empty lines occurring after this block. Trivia: only parsed when TrackTrivia is enabled, otherwise null.
public List<StringSlice>? LinesAfter { get; set; }