ProgTypeAbstract.scopeMaxSize

in { assert (scopeMinSize() <= scopeMaxSize(), "Min scope size is greater then max scope size!"); }