let extract_opt_env = function
  | Some v -> v
  | None -> predicate_alarm ()