https://9dok.org/document/y4wx1e55-state-change-analysis-structures-generalized-conditional-joints.html