Select your answer and click the button below:    
Question8:  
  S1 = <5, 7, 9>; S2 = <11, 13>;  
 

Operation AppendStack (updates S1: Stack;
                                          clears S2: Stack);

 

requires: |S1| + |S2| <= Max_Depth;
ensures: S1 = #S1 o Reverse(#S2);
   
 

After AppendStack executes the values are:

   
  S1 = Λ; S2 = <5, 7, 9, 11, 13>;
S1 = <13, 11, 5, 7, 9>; S2 is unknown;
S1 = <5, 7, 9, 13, 11>; S2 = Λ;
S1 is unknown; S2 = <5, 7, 9, 11, 13>;