Support llvm/Analysis/Verifier.h