docs: @Override
      public String edgeAnnotate(Edge edge) {
          String edgeAnnotation = "";
          try {
              edgeAnnotation = " " + dataflow.getAnalysis().factToString(dataflow.getAnalysis().getFactOnEdge(edge));
          } catch (Throwable e) {
              // ignore
          }
          return edgeAnnotation;
      }