true: package(llvm), package(llvm.analysis)
true : warn(+a-4)
