scope resolution operator not recognized in assertion (#861) · Issues · pub / frama-c