mutable
current_constr_store = empty_constr_store