@NotNull
    public DfType getDfType(@NotNull JavaDfaAnchor anchor) {
      DataflowPoint point = myData.get(anchor);
      return point == null ? DfType.TOP : point.myDfType;
    }
@NotNull
    public DfType getDfType(@NotNull JavaDfaAnchor anchor)