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

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

/

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

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

/