ada: Fix predicate failure that occurred in a test case