question: void pushLS ( ) { LSlabels . addElement ( null ) ; LSparamSeq . addElement ( new Vector ( ) ) ; }
target:  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}            