Rime libere corrispondenti per nonexecutable statement