def __bool__(self):
raise ClaripyOperationError('<STR_LIT>')<EOL>
This prevents people from accidentally using an AST as a condition. For
example, the following was previously common::

    a,b = two ASTs
    if a == b:
        do something

The problem is that `a == b` would return an AST, because an AST can be symbolic
and there could be no way to actually know the value of that without a
constraint solve. This caused tons of issues.