(white spaces)
(updated settings)
fix: equality of non-basic directed hyperedges did no more work correctly since 1.7.1.
fix: equality of hyperedges with one or more hooks did not work correctly.