Rime libere corrispondenti per signal branching