Logic formula parser - dodano opcje sprawdzania czy dany stan jest spelnialny (ze wzgledu na wyrazenia always) za pomoca funkcji Eval w LogicFormulaParser