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