Better support for searching reachable states.