cond true x y cond gr x y x add x y gr 0 x false gr s x 0 true gr s x s y gr x y add 0 x x add s x y s add x y 2.2 cond true x y cond gr x y x add x y gr s x s y gr x y cond true x y gr x y add s x y add x y cond true x y add x y true cond true x y cond gr x y x add x y true Failed! NaTT certifiable-1.6