Sidekick_smtlib.Check_cc
val theory : Solver.cdcl_theory
theory that check validity of EUF conflicts, on the fly