GitLab

CIF data-based synthesis variable ordering hyper-edge creation has a bug. For location invariants actually the component invariants are used.

I'm a bit hesitant to change this now though, as it makes comparing the performance of DCSH against the paper more difficult (see #376). Also, what if it reduces synthesis performance? Though, we do not have enough benchmarking models to test this yet (#364).