Fix bug in Horn pretty-printer.
Fix bug in Horn pretty-printer.

The printer was forgetting to add braces around compound expressions, so we were getting

1 - 2 + 3

instead of

(1 - 2) + 3

This has now been fixed.

septract/starling-tool,septract/starling-tool