nitc :: ToolContext :: opt_no_check_null
# --no-check-null var opt_no_check_null = new OptionBool("Disable tests of null receiver (dangerous)", "--no-check-null")