f true x y f gt x y double x s y gt s x 0 true gt 0 y false gt s x s y gt x y double 0 0 double s x s s double x 2.2 f true x y f gt x y double x s y gt s x s y gt x y f true x y gt x y double s x double x f true x y double x true f true x y f gt x y double x s y true Failed! NaTT certifiable-1.6