improve disprover output