Fixing testbenches for new accurate dont care detection