DfType (@NotNull RelationType relationType) { DfType afterRelation = switch (relationType) { case EQ -> this; case NE -> tryNegate(); default -> TOP; }; return afterRelation == null ? TOP : afterRelation; }