Update arry_bool_xor and modulo

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