John Regehr: Alive2 LLVM optims verification | Heykuki News