(3steps total) PrintForm Definitions graph 1 2 Sections Graphs Doc

At: connect wf 2
1. the_graph: Graph
2. x: Vertices(the_graph)
3. y: Vertices(the_graph)
4. p: Vertices(the_graph) List
5. path(the_graph;p)
null(p)
By:
Analyze -1
THEN
RW assert_pushdownC 0
THEN
Obvious
Generated subgoals:

None

About:
listassert

(3steps total) PrintForm Definitions graph 1 2 Sections Graphs Doc