reduce nogoods without taly generation