Adding LLVM 3.4 definition to alloy.py