if(1) |a --- |b --- if(1) |c |d --- if(1) |e --- *| f () :@choice = 1 --- if(1) |g *| h ()