| C.Variable (s, _, _, _, _), _, _ -> s
| C.Constant (s, _, _, _, _), _, _ -> s
| C.InductiveDefinition (tys, _, _, _), Some i, None ->
| C.Variable (s, _, _, _, _), _, _ -> s
| C.Constant (s, _, _, _, _), _, _ -> s
| C.InductiveDefinition (tys, _, _, _), Some i, None ->