a high-level comment explaining the analysis and that DriverComputation marks the individually executable parts in the tree would be good.