shorten counter example output in proof tree