code: @Override
      public Fact getFactAfterLocation(Location location) throws DataflowAnalysisException {
          BasicBlock basicBlock = location.getBasicBlock();
          InstructionHandle handle = location.getHandle();
  
          if (handle == (isForwards() ? basicBlock.getLastInstruction() : basicBlock.getFirstInstruction())) {
              return getResultFact(basicBlock);
          } else {
              return getFactAtLocation(new Location(isForwards() ? handle.getNext() : handle.getPrev(), basicBlock));
          }
      }
docs: Get the dataflow fact representing the point just after given Location.
  Note "after" is meant in the logical sense, so for backward analyses,
  after means before the location in the control flow sense.
  
  @param location
  the location
  @return the fact at the point just after the location