@Override
      public void procedureEntered(int startOffset, int endOffset) {
        for (int i = startOffset; i < endOffset; i++) neededBelow[i] = false;
      }
@Override
      public void procedureEntered(int startOffset, int endOffset)