Added the while loop example whiley program and implemented the loop
structure in the analyzer. The loop structure is similar to the repeated
if-then-else branch with a loop head and a loop body. But there is some
problems on bound inference algorithm for a while loop.