Missing precondition in test