MethodContract (int index, RelationType type, SpecialField specialField) { return singleConditionContract(ContractValue.argument(index), type.getNegated(), ContractValue.qualifier().specialField(specialField), fail()); }