update test case for untyped state machine
Update test case about call sequence