Add Nonlocal to DefListOptions