improve output of disprover