let job () = if Functions.is_set () then WP_Select(Datatype.String.Set.elements (Functions.get())) else if WP.get () then WP_All else if Properties.is_set () then WP_Select [] else WP_None