------------------------------------------------------------
Up to and including first 'dIonly':
... other data before 'workset' found ...
workset((
RiskCA(cA, 3) RiskCB(cB, 2)) c
    workset((RiskCA(cA, 3), RiskCB(cB, 2), totPaycA(cA, 7), totPaycB(cB, 6)))
*********** trial #682
ceq pAAr(rA, cA, P1) c pAAc(rA, cA, P2) c ineqAA(rA, cA, P3) = (pAAc(rA, cA,
...
rl dec c cognum(X2) c watch(X1) c worklist(L) c workset((S, maxtotIneqC(cB,
    X))) => watch(X1 + 1) c cognum(X2 + 1) c worklist(nil) c workset(empty) c
    playA c dIonly
------------------------------------------------------------
From 'workset((' to 'dIonly' inclusive:
workset((
RiskCA(cA, 3) RiskCB(cB, 2)) c
    workset((RiskCA(cA, 3), RiskCB(cB, 2), totPaycA(cA, 7), totPaycB(cB, 6)))
*********** trial #682
ceq pAAr(rA, cA, P1) c pAAc(rA, cA, P2) c ineqAA(rA, cA, P3) = (pAAc(rA, cA,
...
rl dec c cognum(X2) c watch(X1) c worklist(L) c workset((S, maxtotIneqC(cB,
    X))) => watch(X1 + 1) c cognum(X2 + 1) c worklist(nil) c workset(empty) c
    playA c dIonly
------------------------------------------------------------
From 'workset((' to 'dIonly' exclusive:

RiskCA(cA, 3) RiskCB(cB, 2)) c
    workset((RiskCA(cA, 3), RiskCB(cB, 2), totPaycA(cA, 7), totPaycB(cB, 6)))
*********** trial #682
ceq pAAr(rA, cA, P1) c pAAc(rA, cA, P2) c ineqAA(rA, cA, P3) = (pAAc(rA, cA,
...
rl dec c cognum(X2) c watch(X1) c worklist(L) c workset((S, maxtotIneqC(cB,
    X))) => watch(X1 + 1) c cognum(X2 + 1) c worklist(nil) c workset(empty) c
    playA c 
------------------------------------------------------------
Wanted extract:
workset((RiskCA(cA, 3), RiskCB(cB, 2), totPaycA(cA, 7), totPaycB(cB, 6)))