Allow IntLiteral random variable for loop iteration count
Currently a user can only specify a IntPMF for loop iteration count. To support IntLiteral instead would be a simple thing of transforming it into a IntPMF and would simplify specification.
Currently a user can only specify a IntPMF for loop iteration count. To support IntLiteral instead would be a simple thing of transforming it into a IntPMF and would simplify specification.