@Override
  protected boolean hasHardcodedContracts(@NotNull PsiElement element) {
    return HardcodedContracts.hasHardcodedContracts(element);
  }
@Override
  protected boolean hasHardcodedContracts(@NotNull PsiElement element)