def convert(self, expr):
if type(expr) is BV:<EOL><INDENT>if expr.op == "<STR_LIT>":<EOL><INDENT>cached_obj = self._object_cache.get(expr._cache_key, None)<EOL>if cached_obj is None:<EOL><INDENT>cached_obj = self.BVV(*expr.args)<EOL>self._object_cache[expr._cache_key] = cached_obj<EOL><DEDENT>return cached_obj<EOL><DEDENT><DEDENT>if type(expr) is Bool and expr.op == "<STR_LIT>":<EOL><INDENT>return expr.args[<NUM_LIT:0>]<EOL><DEDENT>return super().convert(expr)<EOL>
Override Backend.convert() to add fast paths for BVVs and BoolVs.