At:
dfsl-properties
2
1
3
2
1
2
1
2
2
1
2
1.
the_graph: Graph
2.
i: Vertices(the_graph)
3.
u: Vertices(the_graph)
4.
v: Vertices(the_graph) List
5.
[i] = [u / v]
[u / v] = nil 
nil = nil 
Vertices(the_graph) List
By:
Obvious
Generated subgoals:
None
About:
