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