Debugging and adapt for the new API. Handling constants in constraint
generators will require additional work.
ZeroSum is now Sum (generator to be rewritten). Experiments on the
concept of CSPOM drivers.