add a test case from adacore and update expected results