bAddZero (bAddOne (bSelLex bNatMaxMin bNatMinPlus))
4
0 : 1 : inl (inr (5, 10))
0 : 2 : inl (inr (10, 1))
1 : 2 : inl (inr (5, 10))
2 : 3 : inl (inr (5, 1))

