Journalisation of dynamic functions using abstract types does not work (#1440) · Issues · pub / frama-c