add another AdaCore test case to Jago