f tt x f isDouble x s s x isDouble s s x isDouble x isDouble 0 tt f 2 tt 0 isDouble 1 s 1 0 0 FULL TRS//AProVE_10/double.trs