Add assertion macro