Saxon verifier disabled