fix An_reach.is_localstate_worth