| Cic.ACurrentProof (_, _, _, _, bo, ty, _, _) ->
return_father id (mk_ids (ty :: bo :: inner_types))
| Cic.AConstant (_, _, _, None, ty, _, _)
| Cic.ACurrentProof (_, _, _, _, bo, ty, _, _) ->
return_father id (mk_ids (ty :: bo :: inner_types))
| Cic.AConstant (_, _, _, None, ty, _, _)