missed simplification from merge_edges()
@jdubois reported the following issue with merge_edges()
.
Why aren't the two edges merged?
HOA: v1
States: 1
Start: 0
AP: 1 "a"
acc-name: Buchi
Acceptance: 1 Inf(0)
--BODY--
State: 0
[0] 0
[0] 0 {0}
--END--