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