Generate the reachability graph, which is the basis for test generation, as follows: