let pred_has_var =
  Fol.p_has_var term_has_var