Added assertion macro