containsNull is used in subtyping - Null <:< X if containsNull(X).