let pred_has_var = Fol.p_has_var term_has_var