bound variable names in Coq file depend on unrelated function later in C source code (#601) · Issues · pub / frama-c