add a test case from AdaCore for Jago program translator