If \b this varnode is produced by an operation with a boolean output, or if it is formally marked with a boolean data-type, return \b true. The parameter \b trustAnnotation toggles whether or not the formal data-type is trusted. \return \b true if \b this is a formal boolean, \b false otherwise
source not stored for this graph (policy: none)
no test coverage detected