The constraint and constraint gradients are generating correct functions.