f x y cond lt x y x y cond tt x y f s x s y lt 0 y tt lt s x s y lt x y 2.2 f x y cond lt x y x y f x y lt x y cond tt x y f s x s y lt s x s y lt x y true cond tt x y f s x s y f x y cond lt x y x y true Failed! NaTT certifiable-1.6