Checks whether the value is undefined. This is represented by assigning a special singleton value "varies".

true if the value is undefined; false otherwise.