quantifiers over logic types do not restrict to valid instances (#91) · Issues · pub / frama-c