void reachable(HashSet<Sequence.Position> h) { /* do-nothing */ }
/** equality is based on the underlying <tt>Topology</tt> */
void reachable(HashSet<Sequence.Position> h) { /* do-nothing */ }
/** equality is based on the underlying <tt>Topology</tt> */