Inheritance of members does not work when chained (#834) · Issues · pub / frama-c