static List<StandardMethodContract> toContracts(List<ValueConstraint[]> states, ContractReturnValue constraint) {
    return ContainerUtil.map(states, state -> new StandardMethodContract(state, constraint));
  }
static List<StandardMethodContract> toContracts(List<ValueConstraint[]> states, ContractReturnValue constraint)