def eval_ast(self, ast):
<EOL>new_ast = ast.replace_dict(self.replacements, leaf_operation=self._leaf_op)<EOL>return backends.concrete.eval(new_ast, <NUM_LIT:1>)[<NUM_LIT:0>]<EOL>
Eval the ast, replacing symbols by their last value in the model.