witness set W does not assume (codim W == #equations W) anymore