Generate footprint from reads clauses of logic declarations (#1146) · Issues · pub / frama-c