*****************************************************************************
                       Semantic Analysis of SPARK Text
                             Examiner GPL Edition

*****************************************************************************



SPARK Simplifier GPL 2012
Copyright (C) 2012 Altran Praxis Limited, Bath, U.K.

procedure process_first_line_of_record.ProcessFirstLineOfRecord




For path(s) from start to run-time check associated with statement of line 66:

procedure_processfirstlineofrecord_1.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 76:

procedure_processfirstlineofrecord_2.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 76:

procedure_processfirstlineofrecord_3.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 80:

procedure_processfirstlineofrecord_4.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 89:

procedure_processfirstlineofrecord_5.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 93:

procedure_processfirstlineofrecord_6.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 101:

procedure_processfirstlineofrecord_7.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 105:

procedure_processfirstlineofrecord_8.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 111:

procedure_processfirstlineofrecord_9.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_10.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 120:

procedure_processfirstlineofrecord_11.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 120:

procedure_processfirstlineofrecord_12.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 124:

procedure_processfirstlineofrecord_13.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 130:

procedure_processfirstlineofrecord_14.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_15.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 140:

procedure_processfirstlineofrecord_16.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 144:

procedure_processfirstlineofrecord_17.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 150:

procedure_processfirstlineofrecord_18.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_19.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 158:

procedure_processfirstlineofrecord_20.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 161:

procedure_processfirstlineofrecord_21.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 167:

procedure_processfirstlineofrecord_22.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_23.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 176:

procedure_processfirstlineofrecord_24.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 177:

procedure_processfirstlineofrecord_25.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 183:

procedure_processfirstlineofrecord_26.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 189:

procedure_processfirstlineofrecord_27.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_28.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 200:

procedure_processfirstlineofrecord_29.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 201:

procedure_processfirstlineofrecord_30.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 205:

procedure_processfirstlineofrecord_31.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 210:

procedure_processfirstlineofrecord_32.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 213:

procedure_processfirstlineofrecord_33.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_34.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 213:

procedure_processfirstlineofrecord_35.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_36.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 217:

procedure_processfirstlineofrecord_37.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_38.
*** true .          /* all conclusions proved */


For path(s) from start to precondition check associated with statement of line 
          217:

procedure_processfirstlineofrecord_39.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_40.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 225:

procedure_processfirstlineofrecord_41.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_42.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 230:

procedure_processfirstlineofrecord_43.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 231:

procedure_processfirstlineofrecord_44.
*** true .          /* all conclusions proved */


For path(s) from start to run-time check associated with statement of line 233:

procedure_processfirstlineofrecord_45.
*** true .          /* all conclusions proved */


For path(s) from start to finish:

procedure_processfirstlineofrecord_46.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_47.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_48.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_49.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_50.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_51.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_52.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_53.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_54.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_55.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_56.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_57.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_58.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_59.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_60.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_61.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_62.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_63.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_64.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_65.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_66.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_67.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_68.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_69.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_70.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_71.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_72.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_73.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_74.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_75.
*** true .          /* all conclusions proved */


procedure_processfirstlineofrecord_76.
*** true .          /* all conclusions proved */


