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