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