You can search for identifiers within the package.
in-package search v0.2.0
Add Prune Node as a first instruction in the next basicblock of the conditional branch
val add_prune_node : Module.t -> Module.t