ProgTypeAbstract.newOpGenChance

out (result) { assert (0 <= result && result <= 1, "Return value isn't a probability!"); }