Minor update on VerboseNotifier

use trace.getProgramCounter() is the platform independent way