Add sample loop program

[dthaler]

At instruction 9, both r2 and instruction_count go to infinity:

    instruction_count=[24, +oo],
    r2.type=number,

However, the loop is bounded to 40 iterations, so r2 should be at most 40.

Signed-off-by: Dave Thaler dthaler@microsoft.com