Debug: Added assume and require macros