check use of set_default_option()
set_default_option takes an action only if the field name doesn't exist in options_. But, now, most options have a default value set in global_initialization.m, so most of the calls to set_default_option are useless and may, sometimes, not produce the desired results.