Improved global assert