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