Mutable Verification Environments through Visitor and Dynamic Register Map Configuration