add option: extra_dontcare