add another adacore test case for jago and fix the test failure