f s a s b x f x x x g f s x s y z g f x y z cons x y x cons x y y 2.2 g f s x s y z f x y z f s a s b x f x x x g f s x s y z g f x y z true g f s x s y z g f x y z true Failed! NaTT certifiable-1.6