src/if (parameters.forget_relatedto_nogood_size)