A precise and scalable pointer analysis for LLVM, written in Ascent - View it on GitHub