assert-clause recommended by tool doesn't make warning vanish (#2192) · Issues · pub / frama-c