Symmetry breaking ignores domain elements or functions

[Bart Bogaerts]

Minimal test attached. This is a different issue than issue #650: it already fails on 5 oktober.

When fixing this, please add this test to test suite.

[JoD]

Added two test cases which capture issue #652 and #650's functionality.

→ <<cset bbaec457cb50>>