Improve assertion reporting