show edge traversals
ipso:SpecRun.valudate receives stack from leaf call to test done