Example specification: ``` constraint { mappings.n2n->sum(element.value) >= 1 => mappings.n2n->sum(element.value) >= 0 } ``` Related test case(s): https://github.com/Echtzeitsysteme/gips-tests/pull/107