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