added arcs traversal procedure
visit arcs
simplify extract operation
test depends on kbt_graph.w