[wp] crash when using a type invariant in place of a predicate (#23) · Issues · pub / frama-c