start:cfr([JQ],"",1,1)

strat_0:J.[0.7,0.3]

0:cfr([JQ],"0",0.7,1)

strat_1:Q.0[0.6,0.4]

0:cfr([JQ],"00",0.7,0.6) -> terminal,get_uitl

strat_0:J.01[0.8,0.2]

1:cfr([JQ],"01",0.7,0.4)
    0:cfr([JQ],"010",0.56,0.4) -> t
    1:cfr([JQ],"011",0.14,0.4) -> t

1:cfr([JQ],"1",0.3,1)

strat_1:Q.1[0.5,0.5]

0:cfr([JQ],"10",0.3,0.5) -> t
1:cfr([JQ],"11",0.3,0.5) -> t