Added tests for WaitPrecondition