Rime libere corrispondenti per loop analysis