mark_query_coverage_net_node did a depth first search. You can correct it using http://www.ee.cornell.edu/~robin/brp.cc as a source of inspiration. -- Robin