Renamed sat -set-undef to -set-any-undef
Added sat -set-def/-set-*-undef support