rev a a rev b b rev ++ x y ++ rev y rev x rev ++ x x rev x 2.2 rev ++ x y rev x rev ++ x x rev x rev ++ x y rev y true rev ++ x y rev y rev ++ x x rev x rev ++ x y rev x true a 0 0 rev 1 1 0 b 0 0 ++ 2 1 2 1 rev 1 0 NaTT certifiable-1.6