Refactor: Simplify boolean expressions in llvm IR