docs: public void addLines(Collection<TaintLocation> locations) {
          Objects.requireNonNull(detector, "locations");
          for (TaintLocation location : locations) {
              lines.add(SourceLineAnnotation.fromVisitedInstruction(
                  location.getMethodDescriptor(), location.getPosition()));
          }
      }