#NEWLINE# def to_str_with_var_sorts( t ) : #NEWLINE# #INDENT# global show_variable_sorts #NEWLINE# show_variable_sorts = True #NEWLINE# res = str ( t ) #NEWLINE# show_variable_sorts = False #NEWLINE# return show_variable_sorts