Allow access to whole pb constraint interface in tests
Test canonicalize for pb constraints
make sure we use the correct null data type for aggregator in solver (aggregator is a pointer)