| Con.Premise prem -> prerr_endline ((blanks (indent+1)) ^ "Premise");flush stderr
| Con.Term t ->
prerr_endline ((blanks (indent+1)) ^ (CicPp.ppterm (Deannotate.deannotate_term t)));
| Con.Premise prem -> prerr_endline ((blanks (indent+1)) ^ "Premise");flush stderr
| Con.Term t ->
prerr_endline ((blanks (indent+1)) ^ (CicPp.ppterm (Deannotate.deannotate_term t)));