#377 Legacy hyper-edge creator: consider location invariants.

• Previously, for each location, the automaton invariants were handled, where the location invariants were to be processed.
• It was a copy/paste bug.
• This could affect synthesis performance.

Closes #377 (closed)