@Override
  public boolean hasFullyCoveredNodes() {
    CoverageClassStructure structure = myAnnotator.getStructure();
    if (structure == null) return false;
    return structure.getHasFullyCoveredChildren();
  }
@Override
  public boolean hasFullyCoveredNodes()