basicblock:pred was added
Merge branch 'thesis' of https://github.com/epsallida/llvm-datalog into dev
Adding lb script with transactions, for deployment.