Add a test for precondition failing message priority