StandardMethodContract (ValueConstraint[] state, int parameter, ValueConstraint paramConstraint, ContractReturnValue returnValue) { ValueConstraint[] newState = withConstraint(state, parameter, paramConstraint); return newState == null ? null : new StandardMethodContract(newState, returnValue); }