A kiértékelő jelenleg helyesen állapítja meg a tiltott elem használatát. A mellékelt második képen is látszik, hogy a 3. átmenetnél a nyílon csak egy őrfeltétel van. Továbbá a BlackMove állapot belsejében van egy belső állapotátmenet, ahol szintén csak egy őrfeltétel van átmeneten. Ez gondolom szimmetrikusan el van követve, így ki is jön a 4 tiltott elem.
Mint már előadáson is volt, az őrfeltétel nem számít kiváltó eseménynek. Tanácsolt a vonatkozó előadás és gyakorlat anyagok átismétlése, továbbá az itt feltett korábbi kérdések böngészése: http://q2a.inf.mit.bme.hu/3706/szabad-olyan-allapotatmenetet-hasznalni-csak-orfeltetel
Illetve a szóhasználat pontosítása végett: Ezek mind specifikált állapotátmenetek, csupán nem triggerként szerepelnek az események, amikre reagálnak (hanem őrfeltételként). Ez utóbbival egyébként az a gond, hogy kvázi csak egy üres ciklussal lehet lekódolni, ami nem csinál semmit, amíg nem teljesül a feltétel, ez pedig nagyon erőforráspazarló.
