import/auxiliary.logic corrections
import/auxiliary.logic corrections

git-svn-id: 0679971f00a2479ebd3f3ffda9bf52302e35b4a2@127 1692c7af-cbd3-45af-b664-c30e194dc1ff

plast-lab/cclyzer,plast-lab/llvm-datalog