synet renderer rebuilt

changed ordering of states, ensured that the initial
state of an APT LTS is always mapped to state 0 in the
exported .aut file for Synet
fixed tests that were broken due to restructuring