let
eval_cond stmt _e =
Db
.
Value
.condition_truth_value stmt