ja du könntest es vielleicht noch etwas genauer beschreiben
aber ich erklärs mal so wie ichs mir gedacht hab ^^:

wenn man den stein benutzt, wird eine variable (#1) um 1 erhöht
danach frägst du mit ner fork condition ab, ob die variable#1 auf 4 steht
beim jafall machst du dann einen befehl für das was passieren soll rein (also die eigenschaft)
und beim neinfall eben nichts