f s x x f s x round x round 0 0 round 0 s 0 round s 0 s 0 round s s x s s round x f 2 s 1 round 1 0 0 FULL ./TRS/aprove08/round_nonterm.trs