Node *root, *NIL;
root、NIL はグローバル変数なので、初期値は 0 になります。よって、ローカル変数 x も y も初期値は 0 です。NIL との比較は 0 と比較していることになります。
root
NIL
x
y
C言語のまともなコードなら、NIL という変数は作らずに NULL を使うのが普通でしょう。C++のまともなコードなら、NIL という変数は作らずに nullptr を使うのが普通でしょう。
NULL
nullptr
root、NIL はグローバル変数なので、初期値は 0 になります。よって、ローカル変数 x も y も初期値は 0 です。