Test the '>>' operator on the constraints