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