struct type not supported in type invariant (#1953) · Issues · pub / frama-c