MethodContract (ContractReturnValue returnValue) { return singleConditionContract(ContractValue.qualifier().specialField(SpecialField.OPTIONAL_VALUE), RelationType.EQ, ContractValue.nullValue(), returnValue); }