val lookup_symbol:
  string ->
   (Cic.id -> Cic.id -> Cic.annterm list -> (Cic.annterm -> CicAst.term) ->
     CicAst.term)