let rec dependencies op clauses acc =
match clauses with
- | [] -> []
+ | [] -> acc
| (_,lit,_,_)::tl ->
match lit with
| Terms.Predicate _ -> assert false
else
dependencies op tl acc
else dependencies op tl acc
- | _ -> acc
+ | _ -> dependencies op tl acc
;;
let dependencies op clauses = dependencies op clauses [];;