add test if bts = 0 when learning nogoods + add special case where pathC=0