quint tests : check radio behaviour