Andersen alias analysis for LLVM