auto-add imports in Convert to verbose refinement