if(1) *| a | -> a *| b | -> b :@choice = 1 if(1, $*| a) | -> a *| b | -> b choice = 2 if((), $*| a) | -> a *| b | -> b choice = 1 *| a | -> a 25 # *| b | -> b choice = 2 12 # if((), $*| a) | -> a 3 # *| b | -> b choice = 1 12 # if(1, $*| a) | -> a 3 # *| b | -> b choice = 1