use of body-declared variable in loop annotation causes crash (#648) · Issues · pub / frama-c