Remember explored branches over refinement