sat_minimize and unknown options
I just run
autfilt --sat-minimize='Streett 1' instead of
autfilt --sat-minimize='acc="Streett1"' and got no error message, because unknown options passed to
--sat-minimize are just ignored.
This is a general problem with
option_map objects, but we should find a way to address it. In the case of
--sat-minimize it would be enough to verify that all options are known.