ContractValue (int argumentIndex) { ContractValue left; if (this == NULL_VALUE || this == NOT_NULL_VALUE) { left = ContractValue.nullValue(); } else if (this == TRUE_VALUE || this == FALSE_VALUE) { left = ContractValue.booleanValue(true); } else { return ContractValue.booleanValue(true); } return ContractValue.condition(left, RelationType.equivalence(!shouldUseNonEqComparison()), ContractValue.argument(argumentIndex)); }