Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow