Another bug: https://github.com/google/or-tools/issues/909

Unfortunately, the Constraint class doesn't do quite what I thought it does, when I fix it locally.