Add testdox support for @assert annotations