fixed bug when verifying nogoods