ArrangeLexer.g4 and ArrangeParser.g4 - inserted extra whitespace-preserving section formula inside ltl container [ as of corporate f29e04716b60b28f967e8bd114ea14a8bf7b5144 ]