Add support to ValueTracking for determining that a pointer is non-null