Correctness - A known null value is checked to see if it is an instance
of a type