let rec iter f a  =
  f a; 
  if is_app a then
    List.iter (iter f) (args_of a)