\valid(a + (0..9)) vs \valid(a[0..9]) (#512) · Issues · pub / frama-c