Investigate the crash of the DSE visualization

Steps to Reproduce:

1. Import the following AF3 model: training_assignment3.af3_23
2. Switch to the DSE view and import the predefined DSE.
3. Run a deployment synthesis with all constraints and objectives defined.
4. Once completed, switch to the DSE visualization.

Testing

Notes:

It is not sufficient to just compare the IExpressions of all IExplorationObjectives as ArithmeticProperityLiterals are only evaluated once transformed to SMT.

Steps:

1. Import the following AF3 model: 4351.af3_23
2. Switch to the DSE view and import the predefined DSE.
3. Notice the four objective rule sets: "OK" contains no duplicates, the others do.
4. Try to run explorations with each of the rule sets.