the dataflow graph produced by the 'dataflow' step
the normalized AST produced by the 'normalization' step, including its parent decoration
the initial and unmodified AST produced by the R side/the 'parse' step
the measurements obtained during the benchmark
Returns the stats but also the result of all setup steps (parsing, normalization, and the dataflow analysis) during the slicing. This is useful for debugging and visualizing the slicing process.