Removed useless delegation function from parser
Removed useless delegation function from parser

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