ASSIGN
init(line):=l2;
next(line):=case
- line=l2: l3;
- line=l3: l4;
+ line=l2: {l2,l3};
+ line=l3: {l3,l4};
line=l4: case
!(yother=0 | s!=i) : l4;
- TRUE: l7;
+ TRUE: {l4,l7};
esac;
- line=l7: l8;
- line=l8: l2;
+ line=l7: {l7,l8};
+ line=l8: {l8,l2};
esac;
+JUSTICE line=l7
MODULE main
VAR