Eiffel pretty-printer: Removed extra new-line in across instructions.