pretty printer for sequents