Support bounds widening for conditionals with while loops

This issue was copied from https://github.com/microsoft/checkedc-clang/issues/799

----
Added support for nt_array_ptr dereferences with while loops. For example, in
"while (*p) {}" we would widen the bounds of p upon entry to the loop.