1 ~ | a |> | -> a | b |> | -> b :@choice = 1 1 ~ | a |> | -> a | b |> | -> b choice = 2 () ~ | a |> | -> a | b |> | -> b choice = 1 | a |> | -> a 25 # | b |> | -> b choice = 2 12 # () ~ | a |> | -> a 3 # | b |> | -> b choice = 1 12 # 1 ~ | a |> | -> a 3 # | b |> | -> b choice = 1