Widen hints for a variable should not influence the values for other variables (#543) · Issues · pub / frama-c