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