| Cic.AAppl (aid,(Cic.AMutInd _ as he::tl as args))
| Cic.AAppl (aid,(Cic.AMutConstruct _ as he::tl as args)) ->
if CoercGraph.is_a_coercion (Deannotate.deannotate_term he) &&
| Cic.AAppl (aid,(Cic.AMutInd _ as he::tl as args))
| Cic.AAppl (aid,(Cic.AMutConstruct _ as he::tl as args)) ->
if CoercGraph.is_a_coercion (Deannotate.deannotate_term he) &&