(Ada) "catch assert" spurious internal error