A function is in the EZ model if it is a straight-line leaf function. \return \b true if this flow contains no CALL or BRANCH ops
source not stored for this graph (policy: none)
no test coverage detected