Plugin.is_invisible is not see-through enough (#1274) · Issues · pub / frama-c