Now thinking about this, it is probably ok as if the query gets reduced to reachability query then e.g. BFS could be used too ... not sure what to do, perhaps no fix is needed or any other suggestions?
Now thinking about this, it is probably ok as if the query gets reduced to reachability query then e.g. BFS could be used too ... not sure what to do, perhaps no fix is needed or any other suggestions?