VBSIX applies the same traversal in execution space (lines 10-21).
since each vertex in the execution space represents an execution result and not a particular prefix, we need to modify the scoring function.