* ASSIGN THE NULL STRING TO X
X =
* CHECK THAT X IS INDEED NULL
EQ(X, NULL) :S(YES)
OUTPUT = 'NOT NULL' :(END)
YES OUTPUT = 'NULL'
END