Added tests for dyadic prettying printing.