This class provides a simple routine that performs line wrapping of strings
that may contain long lines.
It is an interesting class since it is the first algorithm in KeY that has
been proved correct with KeY.
It has been verified with KeY 3d4189d9107dc7df50d0fce8f45cfd02cb20ba22.
Required heavy use of the (then) new SMT translation.
(Z3 version 4.8.8)