https://9dok.net/document/z3dxlo47-extracting-frame-conditions-from-operation-contracts.html