BDD: removed last bit of recursion provinding a purely-iterative back function
BDD: removed last bit of recursion provinding a purely-iterative back function

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