Symbolic Execution by Overloading __bool__