let eval_cond stmt _e =
        Db.Value.condition_truth_value stmt