* function name is buried deeply in the tree. Rewrite the name.
*)
let rec rewrite = function
| ExApp (_loc, ExId (_loc1, IdLid (_loc2, name)), right) ->
let gname = "goal_" ^ name in
* function name is buried deeply in the tree. Rewrite the name.
*)
let rec rewrite = function
| ExApp (_loc, ExId (_loc1, IdLid (_loc2, name)), right) ->
let gname = "goal_" ^ name in