Added stochastic termination in AbstractedOption.