tests/problem-cc.cc: add constraints to the test.