UV3: Re-engineering the unravel program slicing tool