Pretty print in tresholds analyzer