Minor: Removed recursive descent on right side of th ITE.
Minor: Removed recursive descent on right side of th ITE.

chubbymaggie/pysmt,pysmt/pysmt,idkwim/pysmt,pysmt/pysmt,agriggio/pysmt,idkwim/pysmt,agriggio/pysmt,chubbymaggie/pysmt