Z3Converter: Remove use of deprecated self.functions
Z3Converter: Remove use of deprecated self.functions

walk_ methods for Z3Converter are created when the Z3Converter class
is defined via the make_walk_nary and make_walk_binary

pysmt/pysmt,pysmt/pysmt