Mutable counter shared across Scope instances so that child scopes (created for term resolution) accumulate toward the same limit.