Update arry_bool_xor and modulo

- add nex filtering rule in PropTimesZ
Merge branch 'feature-mzn' into develop
Merge branch 'develop' into feature-logic