@Override
  public boolean isProblemResolved(@Nullable RefEntity entity) {
    return myResolvedElements.containsKey(entity) && !myProblemElements.containsKey(entity);
  }
@Override
  public boolean isProblemResolved(@Nullable RefEntity entity)