docs: @Override
      public Fact getFactAtLocation(Location location) throws DataflowAnalysisException {
          Fact start = getStartFact(location.getBasicBlock());
          Fact result = createFact();
          makeFactTop(result);
          transfer(location.getBasicBlock(), location.getHandle(), start, result);
          return result;
      }