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