Some improvements to model checker error report.