let eval_cond _ _ = truetrue