f x y z g x y z g 0 1 x f x x x f 3 g 3 0 0 1 0 FULL ./TRS/AProVE/forward_instantiation.trs