Flatten forall constraints for diagnosis

[rtaupe]

A MiniZinc constraint like constraint forall(i in 1..100)(foo[i] = bar[i]); is treated like one single constraint by JMiniZinc's diagnosis algorithms, although it could easily be split (flattened) into 100 distinct constraints, each affecting a different set of variables (array elements): constraint foo[1] = bar[1]; constraint foo[2] = bar[2]; ...
If it were flattened that way, diagnosis algorithms would be able to locate a diagnosis more precisely.

To be implemented:

• a feature in at.siemens.ct.jminizinc.core that flattens forall constraints (i.e. Constraints whose expression is a at.siemens.ct.jmz.expressions.bool.Forall)
• an option in at.siemens.ct.jminizinc.diag to use that feature to automatically flatten forall constraints in diagnosis algorithms like ConflictDetectionHSDAG.