Efficient Pattern Search in Large Traces through Successive Refinement