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