Merge equivalent nodes in search graph

Where two adjacent nodes a,b are equivalent iff the only outgoing edge
of a is an epsilon transition to b.