Fix Duplicate Variables in Same Kuratowski
Fix Duplicate Variables in Same Kuratowski

If the same segment is part of multiple Kuratowski Paths (which might happen to the fist non-simplicial segment), duplicate crossing variables could be generated. This would relax the Kuratowski constraint such that the bound was lowered.

TiloW/ocm-validator,TiloW/ocm-validator