nitc :: ToolContext :: opt_no_check_covariance
# --no-check-covariance var opt_no_check_covariance = new OptionBool("Disable type tests of covariant parameters (dangerous)", "--no-check-covariance")