public JsonMutantLocation(FileLinePositionSpan location)
 {
     Start = new JsonMutantPosition
     {
         Line   = location.StartLinePosition.Line + 1,
         Column = location.StartLinePosition.Character + 1
     };
     End = new JsonMutantPosition
     {
         Line   = location.EndLinePosition.Line + 1,
         Column = location.EndLinePosition.Character + 1
     };
 }
 public JsonMutantLocation(JsonMutantPosition start, JsonMutantPosition end)
 {
     Start = start;
     End   = end;
 }