Add symbolic evaluation for tuple_to_list/1