https://123dok.net/document/z3dx1eey-a-decision-procedure-for-separation-logic-in-smt.html