Generate the reachability graph as follows: