gt 0 y false gt s x 0 true gt s x s y gt x y plus 0 y y plus s x y s plus x y double 0 0 double s x s s double x average x y aver plus x y 0 aver sum z if gt sum double z sum z if true sum z aver sum s z if false sum z z 2.2 aver sum z gt sum double z plus s x y plus x y average x y plus x y gt s x s y gt x y if true sum z aver sum s z aver sum z double z aver sum z if gt sum double z sum z average x y aver plus x y 0 double s x double x true average x y aver plus x y 0 false average x y plus x y false plus s x y plus x y true s 1 1 1 gt 2 0 aver 2 0 average 2 0 plus 2 1 0 false 0 0 aver 2 0 true 0 0 0 0 0 if 3 0 double 1 0 double 1 0 gt 2 0 average 2 0 plus 2 0 if 3 0 aver sum z if gt sum double z sum z if true sum z aver sum s z true Failed! NaTT certifiable-1.6