boolean isExposedOnExit(HeapVariable<Object> H){
  for (Iterator<HeapOperand<Object>> i=iterateHeapUses(H); i.hasNext(); ) {
    HeapOperand<Object> op=i.next();
    Instruction s=op.instruction;
    if (exits.contains(s)) {
      return true;
    }
  }
  return false;
}

boolean isExposedOnExit ( HeapVariable < Object > H ) { for ( Iterator < HeapOperand < Object > > i = iterateHeapUses ( H ) ; i . hasNext ( ) ; ) { HeapOperand < Object > op = i . next ( ) ; Instruction s = op . instruction ; if ( exits . contains ( s ) ) { return true ; } } return false ; }
checks whether a heap variable is exposed on procedure exit .
