/* MP7: Update the AddrTrans class and Behavior Files 
 *        to handle LetRec and Multiple Argument Lambdas
 */

public class LetrecAddrTrans extends AddrTrans{
    /***********************
     * Your Code Goes Here *
     ***********************/
}