I think we should switch to a map to hold the constraints. Unpacking 4 variables (and SDP soon) is too much.