Changed assert() to @assert