forget_relatedto_nogood_size