Determine whether each variable is guaranteed to be negative, zero, or stringly positive

Lattice of possibilities and its meaning

Example of analyzing simple loop