access to static struct fields unsupported in annotation (#638) · Issues · pub / frama-c