[Ada] Assert_Failure vs Assertion_Error