Fortunately assert is hardly part of the language itself, you can provide your own macro for it and you probably should. Among other things you probably DO wan

Fortunately assert is hardly part of the language itself, you can provide your own macro for it and you probably should. Among other things you probably DO want to get rid of them when doing coverage analysis-- unless you like seeing your code base that truly has 100% branch coverage report as only having 30% coverage due to all the invariant checks that can't be triggered because the code isn't buggy.