let
strategy_has_asgn_goal strat = strat.annots.tbl_has_asgn_goal