Adding cache for predicate filenames.
Adding csv generation call for varArg function types.
Fixing typo in InstructionVisitor. Now these two instructions are properly visited.
Merge branch 'dev' of github.com:plast-lab/llvm-datalog into dev