Działa wyliczenie dla causes - ciąg akcji co spowoduje.
Dodano executable w stanie.
Dodano *_executable.
Rozdzielenie silnika od przykładu nr 1.
Merge branch 'master' of https://github.com/HadorX/RWProj1
Dodanie pobrania możliwych stanów na początku - initial_states.
Dodano formuly i stmt'y.
Dodanie sprawdzania poprawności po always.
Poprawka z formulas (nie każda formuła musi być always).
Dodano release fluent dla stanów.
Dodanie dla wielu releases.
Dodanie res*_trunc z obciętymi do poprawnych stanami.