DestructivelySimplify simplifies the regex ($regex is not modified), it first calls TurnCapturingGroupsIntoNonCapturing, then syntax.Regexp.DestructivelySimplify, and finally it tries its best to simplify the elements of shape AA* into A+.

RegexForRange returns a regex (not between ^$) that matches all numbers in the range [min, max].