orderedstatemachine passes all tests