docs: private void checkCircularity(State state, Obligation obligation, int basicBlockId)
              throws ObligationAcquiredOrReleasedInLoopException {
          if (state.getPath().hasComponent(basicBlockId)) {
              throw new ObligationAcquiredOrReleasedInLoopException(obligation);
          }
      }