void addPrevention(int stamp, MyKey prevented) {
      reentrancyStamp = stamp;
      if (preventionsInside == null) {
        preventionsInside = new HashSet<>();
      }
      preventionsInside.add(prevented);
    }
void addPrevention(int stamp, MyKey prevented)