#NEWLINE# def visit_Return( self , stmt ) : #NEWLINE# #INDENT# new_value = self . visit_expr ( stmt . value ) #NEWLINE# old_value = self . value_env . get ( '$return' , unknown_value ) #NEWLINE# combined = old_value . combine ( new_value ) #NEWLINE# self . value_env [ '$return' ] = combined