covered WaitPrecondition with tests