In domains, changes [Store.register_global_state] that now takes a boolean
argument indicating whether the domain states must be saved during the
analysis.