Actually, no illegal program is undetected. The (minor) bug is that GNAT reports only one error instead of two. If one line is commented out, GNAT correctly reports the problem for the other one.