Egy állapotból 1s letelte után kellene egy másik (kettő közül őrfeltétellel) kiválasztott állapotba mennie a programnak, és az egyik állapotba való eljutás hatására beep-et kéne használni. Ha mindkét élen after 1s-t használok, az nem jó, mert elcsúszik az időzítés (beep). Ha choice-t használok (choice-ba after 1s, belőle ki két él a két állapotba) az sem fut le a test-ben. Mit lehet tenni ebben az esetben?