add pretty printer for CTLSpec EG