@Override
  public boolean applyContractCondition(@NotNull DfaCondition condition) {
    if (condition instanceof DfaRelation relation) {
      if (relation.isEquality()) {
        checkEphemeral(relation.leftOperand(), relation.rightOperand());
        checkEphemeral(relation.rightOperand(), relation.leftOperand());
      }
    }
    return applyCondition(condition);
  }
@Override
  public boolean applyContractCondition(@NotNull DfaCondition condition)