void pushLS(){
  LSlabels.addElement(null);
  LSparamSeq.addElement(new Vector());
}

void pushLS ( ) { LSlabels . addElement ( null ) ; LSparamSeq . addElement ( new Vector ( ) ) ; }
lsparamseq . elementat ( i ) is a vector whose elements are of type formalparamnode [ ] that represents ls . paramseq [ i + 1 ] . in particular ls . paramseq [ i + 1 ] [ j + 1 ] equals let foo = = ( formalparamnode [ ] ) ( ( vector ) lsparamseq . elementat ( i ) ) ) . elementat ( j ) in { ( formalparamnode ) foo [ j ] : j \ in 0 . . foo . length }
