Simplified use of llvm checker