Lines ->
Arg Lines : &A|L : String
    File_name : String    

- NL .* LinesIn File_name READ_FILE ( Line : Lines .= Line )

Return

NL Lines ->
Arg S : String, Same_or_changed : &String, - Keep_or_discard = 1

Same_or_changed = S "\n" [ S # 1 STR_RIGHT = '}' ] | S

Return