[T_LeftPar,T_Let,T_Id "x",T_Equal,T_Int 1,T_Plus,T_Int 2,T_In,T_Let,T_Id "y",T_Equal,T_Id "x",T_Times,T_Id "x",T_In,T_Let,T_Id "x",T_Equal,T_Id "y",T_Plus,T_Id "x",T_Plus,T_Int 42,T_In,T_Id "x",T_Times,T_Id "x",T_RightPar,T_Plus,T_Int 2]