ALIVe: Automatic LLVM's Instcombine Verifier