ordered testing of orderedstatemachine