Refactored stf and added stf sorting by state id
Refactored stf and added stf sorting by state id

resterle/master-ti-praxis,resterle/master-ti-praxis,AutoSimDevelopers/automata-simulation,AutoSimDevelopers/automata-simulation