Better assertion messages (slow compilation time)