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