for these than for boolean logicals to avoid making Burg diverge. See Burg manual for more information. llvm-svn: 1196
preprocessed before burg gets to it llvm-svn: 794