nitc $ ToolContext :: opt_no_contract

	# Option --no-contract
	var opt_no_contract = new OptionBool("Disable the contracts usage", "--no-contract")