make term_to_cert smarter in the Comb case

i.e. prove the hypotheses it generates