AI: dai_set_defenders() does not value martial law enough
dai_set_defenders() lets units needed for martial law to leave the city.
It might not be about how it values them (in the "set defenders" phase) but that in "manage military" phase it completely ignores its own decision about keeping them in the city.
dai_set_defenders() lets units needed for martial law to leave the city.