Sorry, I used the wrong nomenclature It's not a call tree, rather it is the tree created when Klee invokes fork -------------- next part -------------- HTML attachment scrubbed and removed