A tool that exports LLVM bitcode into a Datalog workspace.