rule(1): curr_line_invariant(CURR_LINE) may_be_deduced_from
         [e_strings__get_length(fld_conts(CURR_LINE)) < natural__last,
          fld_curr_pos(CURR_LINE) <= e_strings__get_length(fld_conts(CURR_LINE)) + 1,
          fld_lookahead_pos(CURR_LINE) <= e_strings__get_length(fld_conts(CURR_LINE)) + 1,
          fld_last_token_pos(CURR_LINE) <= e_strings__get_length(fld_conts(CURR_LINE)) + 1].

rule(2): e_strings__get_length(fld_conts(CURR_LINE)) < natural__last may_be_deduced_from [curr_line_invariant(CURR_LINE)].

rule(3): fld_curr_pos(CURR_LINE) <= e_strings__get_length(fld_conts(CURR_LINE)) + 1 may_be_deduced_from [curr_line_invariant(CURR_LINE)].

rule(4): fld_lookahead_pos(CURR_LINE) <= e_strings__get_length(fld_conts(CURR_LINE)) + 1 may_be_deduced_from [curr_line_invariant(CURR_LINE)].

rule(5): fld_last_token_pos(CURR_LINE) <= e_strings__get_length(fld_conts(CURR_LINE)) + 1 may_be_deduced_from [curr_line_invariant(CURR_LINE)].
