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