Hello Rui,
I have just tested it and it works without the read-after-write operation
(void)WDOG->CNT;
which is not required anyway since the two writes are already serialized (both writes to the same register).
There are more features that are not implemented in the SDK yet.
Regards,
Daniel