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