Alive: Automatic LLVM's Instcombine Verifier