Coalesce booleans.
Smarter reification/
Remove unecessary cardinality constraint for constants.
Multi pass optimization.
Fixed for newest version of the Choco library.