let rec_apply_function : (env -> logic_info -> (logic_label * logic_label) list -> term list -> F.abstract) ref = ref (fun _ _ _ _ -> assert false)