loop refinement