let
bad_pred_has_var p = p_has_var bad_term_has_var p