Incorrect result by Emulators of WTK