.
american roulette algorithm cbmc