Pass a worklist manager to the covtree exploration functions.