improved pretty printing of ccfg