List<MethodContract> (boolean isMax) { return Arrays.asList(singleConditionContract( ContractValue.argument(0), isMax ? RelationType.GT : RelationType.LT, ContractValue.argument(1), returnParameter(0)), trivialContract(returnParameter(1))); }