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