let iter_all f =
    begin
      iter S_name f ;
      iter S_typedef f ;
      iter S_userdef f ;
      iter S_goals f ;
    end