Rime libere corrispondenti per return trace