Add a test for pre-condition