Refactor remove SmtTranslator's auxiliary method
Refactor remove SmtTranslator's auxiliary method

cnheitman/barf-project,programa-stic/barf-project,cnheitman/barf-project,programa-stic/barf-project,cnheitman/barf-project