insufficient precoditions given to Alt-Ergo to prove validity of memory access for user-defined "->" operator (#878) · Issues · pub / frama-c