public void Warn(Address addr, string message) { eventListener.Warn(eventListener.CreateAddressNavigator(program, addr), message); }