added trace "pp_cases" that allows to turn pretty-printing for case-expressions off