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

Call Separator .+ LinesIn File_name READ_FILE ( Line : Lines .= Line )

Return

Separator Lines ->
Arg S : String

S_{+1} = "\n" [ S, 1, STR_RIGHT = '}' ] | ''

Return S_{+1}