let
strategy_has_prop_goal strat = strat.annots.tbl_has_prop_goal