You can search for identifiers within the package.
in-package search v0.2.0
Package contains no libraries
A loop_counter for widening operations in the analysis loop, visiting the same basicblock for a maximum count of loop_counter before performing widening.