f true x y f gt x y x round s y round 0 0 round s 0 s s 0 round s s x s s round x gt 0 v false gt s u 0 true gt s u s v gt u v f 3 true 0 gt 2 round 1 s 1 0 0 false 0 FULL ./TRS/SchneiderKamp/trs/cade09.trs