ProgTypeAbstract.progMinSize

in { assert (progMinSize() <= progMaxSize(), "Min program size is greater then max program size!"); }