Fix legacy hyper-edge creation bug
CIF data-based synthesis variable ordering legacy hyper-edge creator 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 (closed)). Also, what if it reduces synthesis performance? Though, we do not have enough benchmarking models to test this yet (#364).