let get_name context index =
try match List.nth context (pred index) with
| Some (Cic.Name name, _) -> Some name
| _ -> None
with Invalid_argument "List.nth" -> None
let get_name context index =
try match List.nth context (pred index) with
| Some (Cic.Name name, _) -> Some name
| _ -> None
with Invalid_argument "List.nth" -> None