ProgTypeAbstract.copyingPart

out (result) { assert (0 <= result && result <= 1, "Return value must be in range [0,1]!"); }