match obj with
Cic.Constant (name,Some bo,ty,args,attrs) ->
(* CSC: ugly code. Here I need to retrieve in advance the loc of bo
match obj with
Cic.Constant (name,Some bo,ty,args,attrs) ->
(* CSC: ugly code. Here I need to retrieve in advance the loc of bo