[wip] Newfsm tests

http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_finite_state_machines.html

http://proper.softlab.ntua.gr/doc/