https://123dok.org/document/yngn33oj-control-flow-analysis-beta-binders-static-compartments.html