Work_selector.Selection_methods
module Random : Selection_method_intf
module Sequence : Selection_method_intf