The Praxis programming language (Greenwood et. al.) developed at
Lawrence Livermore used ";" when there was more than one statement on
a line. A statement could span a line without a continuation
character as long a the line break appeared in such a way that the
first token on the continuation line could not be the first token of a
statement or could not follow the last token of the preceding line.
It turned out that there were only one or two cases (very odd cases)
in the grammar that were disallowed.