The corresponding subgraph in P to each of these partitions is given by the vertices and edges connected with a path of length one to the unified variables that appear in Reach(v).
g denotes the vertices in the subgraph of g induced by the partition Reach(v).