Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm