def is_true(self):
return is_true(self)<EOL>
Returns True if 'self' can be easily determined to be True. Otherwise, return False. Note that the AST *might*
still be True (i.e., if it were simplified via Z3), but it's hard to quickly tell that.