https://9dok.net/document/z3d4enke-frame-rule-static-inlining-separation-logic.html