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