MethodContract (ContractValue left, RelationType relationType, ContractValue right, ContractReturnValue returnValue) { return singleConditionContract(ContractValue.condition(left, relationType, right), returnValue); }