Tested updating backtrack sets in the reachability graph.