Go back to old shortcut generation...something wrong with the extra shortcut edges that try to guarantee reverse shortcuts are generated.
Go back to old shortcut generation...something wrong with the extra
shortcut edges that try to guarantee reverse shortcuts are generated.

fsaric/mjolnir,fsaric/mjolnir,fsaric/mjolnir