An example of test-driving a trivial iOS app using Cedar and Robot