tests: w-i-p verification of statemachine