let
bad_pred_closed xs p = p_closed bad_term_closed xs p