A Random chooses one child at random to execute. A Random returns the result of that child.
source not stored for this graph (policy: none)
no outgoing calls