nicer printing of case bodies
better pretty printing for ifs