Change extract_set_witness_properties.sql test so that it does not rely on SELECT COUNT(*)