check learnt nogoods