Paper accepted at ESEC/FSE'20: "Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization"