Add test whether integrate only adds a learnt constraint
Test slack during propagation
Test slack during canonicalize
Test multiply
Use createPbConstraint in multiply test to make the code shorter