@NotNull
    @Override
    public DfaCondition makeCondition(DfaValueFactory factory, DfaCallArguments arguments) {
      DfaValue left = myLeft.makeDfaValue(factory, arguments);
      DfaValue right = myRight.makeDfaValue(factory, arguments);
      if (left.getDfType() instanceof DfPrimitiveType primitiveType) {
        right = DfaUtil.boxUnbox(right, DfTypes.typedObject(primitiveType.getPsiType(), Nullability.UNKNOWN));
      }
      if (right.getDfType() instanceof DfPrimitiveType primitiveType) {
        left = DfaUtil.boxUnbox(left, DfTypes.typedObject(primitiveType.getPsiType(), Nullability.UNKNOWN));
      }
      return left.cond(myRelationType, right);
    }
@NotNull
    @Override
    public DfaCondition makeCondition(DfaValueFactory factory, DfaCallArguments arguments)