I&#39;m trying to see if I can get Peter Norvig&#39;s lis.py (from here: <a href="http://norvig.com/lispy.html">http://norvig.com/lispy.html</a>) to translate using translate.py, but I get the following error: <br><br><blockquote style="margin:0 0 0 40px;border:none;padding:0px">
<div>AnnotatorError:</div><div>[translation:ERROR] -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+</div><div>[translation:ERROR] Blocked block -- operation cannot succeed</div><div>[translation:ERROR]  v0 = getattr(s_0, (&#39;replace&#39;))</div>
<div>[translation:ERROR] In &lt;FunctionGraph of (lis:83)tokenize at 0x8f646e4&gt;:</div><div>[translation:ERROR] Happened at file lispy/lis.py line 85</div><div>[translation:ERROR]</div><div>[translation:ERROR] ==&gt;     output = s.replace(&#39;(&#39;,&#39; ( &#39;)</div>
<div>[translation:ERROR]         output = output.replace( &#39;)&#39;, &#39; ) &#39;)</div><div>[translation:ERROR]         return output.split()</div><div>[translation:ERROR]</div><div>[translation:ERROR] Known variable annotations:</div>
<div>[translation:ERROR]  s_0 = SomePBC(can_be_None=True, const=None, subset_of=None)</div></blockquote><div><br><br>caused by: <br><br><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><div>def tokenize(s):</div>
<div>    &quot;Convert a string into a list of tokens.&quot;</div><div>    output = s.replace(&#39;(&#39;,&#39; ( &#39;)</div><div>    output = output.replace( &#39;)&#39;, &#39; ) &#39;)</div><div>    return output.split()<br>
</div></div></blockquote><br>It&#39;s not clear to me what the issue is. Is there another type that has a replace method that is confusing the type inference system?<br><br>Thanks,</div><div>--Nathan</div>