Final version 20.06.2025

Handling 'after' and 'observable' statements (#21)

* removed unnecessary field

* foundation of the satisfiability statements

* changed problem defintion structure to contain satisfibilyty statements

* satisfiability checking per level

* name change to better reflect theory

* value statements implemented
works for initial statements

* small fixes

* changed query result type to account for a situation where domain has no models (no bitches)

* Updated test to accomodate the possibility of inconsistent query results

* typo

* Initially change and begging of after, observable

* allow dirty input for valuestatements

* implementation of ProcessValueStatements

* after and observable forms

* dirty fix

* Update query evaluation to use value statements

* Some tests

* Formatting

* More tests

* changed query message for inconclusive model

* empty action support

* query result label correction

---------

Co-authored-by: Karas <maciej2.karaskiewicz@gmail.com>
Co-authored-by: Filip Możdżonek <01159051@pw.edu.pl>
Co-authored-by: jacekkulma <jacek.kulma@outlook.com>