public static StandardMethodContract trivialContract(int paramCount, @NotNull ContractReturnValue returnValue) {
    return new StandardMethodContract(createConstraintArray(paramCount), returnValue);
  }
public static StandardMethodContract trivialContract(int paramCount, @NotNull ContractReturnValue returnValue)