chan fallback;
chan submit, resubmit, query, requery;
chan order, suborder;
chan priority fallback < default;
Adjusted
clock c;
Test
clock c;
R1
R2
Err
N1
N2
AdjustedMitigated
clock c;
TestMitigated
clock c;
R1
R2
Err
N1
N2
Fallback
system Adjusted,Fallback,Test;