Where an abstract state arrives from, and which way the branch went if the step was one.
For if(u) a else b the step onto a carries { id: <u>, branch: { id: <the if>, when: true } },
so the predecessor is the condition and when is the outcome it had.
Where an abstract state arrives from, and which way the branch went if the step was one.
For
if(u) a else bthe step ontoacarries{ id: <u>, branch: { id: <the if>, when: true } }, so the predecessor is the condition andwhenis the outcome it had.