Fixed a bug in Symbolic_State. Now the model is correctly initialized.

More tests are needed!