assert macro now works well