- references to other instances are no longer flagged - special handling for genvars to avoid flagging and modport scoping - interface inlining visits expressions in declarations - Scoper has interface for removing entries