Statistics for Assertion-based Slicing and Slice Graphs