https://123dok.net/document/qvl1946d-abstract-domain-combinator-separately-conjoining-memory-abstractions.html