Rename LLVM related formulas