           *******************************************************
                       Semantic Analysis of SPARK Text
   Examiner Pro Edition, Version 11.0.0, Build Date 20120914, Build 25178
             Copyright (C) 2012 Altran Praxis Limited, Bath, U.K.
           *******************************************************


                        DATE : 27-MAR-2013 10:45:47.08

                             package_body T2Q6




For path(s) from start to finish:

package_body_t2q6_1.
*** true .          /* trivially true VC removed by Examiner */
