Use LLVM name of instructions to generate nicer SMT output