* 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