@Override
  public @NotNull RefGraphAnnotator getAnnotator(@NotNull RefManager refManager) {
    return new RedundantRequiresStatementAnnotator();
  }
@Override
  public @NotNull RefGraphAnnotator getAnnotator(@NotNull RefManager refManager)