void freeInterval(SpillLocationInterval i){
  freeIntervals.add(i);
}

void freeInterval ( SpillLocationInterval i ) { freeIntervals . add ( i ) ; }
records that a particular interval is potentially available for reuse .
