RandomOptionGenerator is now deprecated, use RandomEventGenerator instead