Better assertion errors reporting