Fix --no-witness options
Fix --no-witness options

It is True by default, but is set to False with --sv-comp.
This patch allow to override the --sv-comp switch.

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic