"while" expression is evaluated only once in three-address code

[isole-01]

when looping back to L0 the prior value of T17 is used and is not updated