Fixed bug in model_parser.
Changed name to sstate -> Symbolic_State
Moved most of the code into Symbolic_State.
Next step: clean-up! (however, things are already in pretty good shape).
May consider moving from vector<Location *> - > vector<Location &>