let job () =
  match Functions.get (), Behaviors.get () with
  | [], [] ->
    (if WP.get () then WP_All
     else match Properties.get () with
     | [] -> WP_None
     | _ :: _ -> WP_Select [])
  | (_ :: _ as fct, _) | fct, _ :: _ -> WP_Select fct