Add Z3 Support for tuple_to_list/1 & list_to_tuple/1