Function verify_cc 

pub fn verify_cc(goal: &Syn) -> bool

try_cc goal reduces to DccSolve goal, verified from a certificate this module both produced and then checked without reference to how it was produced.