Fix pretty printer for max horizontal boxes

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix some eval/test problems

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>