Split disable_option from Diagnostic.option.