enable table substitution + fix LogicTreeTest
Merge branch 'feature-mzn2' into develop