code: def eval_to_ast(self, e, n, extra_constraints=(), exact=None):
          
          return [ ast.bv.BVV(v, e.size()) for v in self.eval(e, n, extra_constraints=extra_constraints, exact=exact) ]
docs: Evaluates expression e, returning the results in the form of concrete ASTs.