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