f x y z g x y z g 0 1 x f x x x a b a c f 3 g 3 0 0 1 0 a 0 b 0 c 0 FULL ./TRS/AProVE/forward_instantiation2.trs