Rime libere corrispondenti per dataflow analysis