List of top Compiler Design Questions on Runtime environments

Consider the following statements:
\[ S_1:\ \text{The sequence of procedure calls corresponds to a preorder traversal of the activation tree.} \] \[ S_2:\ \text{The sequence of procedure returns corresponds to a postorder traversal of the activation tree.} \] Which one of the following options is correct?