Andersen's inclusion-based pointer analysis re-implementation in LLVM