Ivory.Language.Assert

assert

compilerAssert

assume