gcd add x y y gcd x y gcd y add x y gcd x y gcd x 0 x gcd 0 x x add 0 y y add s x y s add x y gcd x y gcd y x leq y x false gcd 2 add 2 0 0 s 1 leq 2 false 0 ORIENTED FULL