let
eval_cond _ _ =
true
,
true