docs: private UnconditionalValueDerefSet duplicateFact(UnconditionalValueDerefSet fact) {
          UnconditionalValueDerefSet copyOfFact = createFact();
          copy(fact, copyOfFact);
          fact = copyOfFact;
          return fact;
      }