Describir: Identifikácia programov z nesekvenčného správania