Added a feature that allow verification on instantiated shims