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