Latex backend: implemented proper line breaking and indentation between cells and for requires/ensures clauses.