let
has_ind x p =
try
let
d = get_definition x
in
Fol
.pred_calls d.d_name p
with
Not_found
->
false