nitc :: ToolContext :: opt_no_check_assert
# --no-check-assert var opt_no_check_assert = new OptionBool("Disable the evaluation of explicit `assert` and `as` (dangerous)", "--no-check-assert")