identifier unknown after leaving inner scope that declared same name (#860) · Issues · pub / frama-c