labels defined before loops and used after loops are not correctly translated in jessie (#2089) · Issues · pub / frama-c