Logic with read clauses can have their values invalidated by writes to separated memory locations (#410) · Issues · pub / frama-c