Changed state machine test to use array instead of generator to get around issues with older PHPUnit version on Travis CI