Update ter_iterateurs.ml

Version fonctionnant avec les deux transformations identité et arith_to_call