(* interface functions ******************************************************)
let process_top_term s t = proc_named_term s (init ()) t
(* interface functions ******************************************************)
let process_top_term s t = proc_named_term s (init ()) t