bug cumul
allDiff DEFAULT passes tests
refactor allDiff

use default mode in other constraints
circuit speed up

safer to do less work
slight refactoring
Merge branch 'feature-fix' into develop