could be
<pre>
if options.index_filter is None:
</pre>