Add missing assertions to  test. Add prefixes to FSM calls to differentiate from function declarations.