\brief Find CBRANCH operation that determines whether zero is set or not Assuming that \b op is a 2-branch MULTIEQUAL as per discoverZeroSlot(), try to find a single CBRANCH whose two \b out edges correspond to the \b in edges of the MULTIEQUAL. In this case, the boolean expression controlling the CBRANCH is also controlling whether zero flows into the MULTIEQUAL output Varnode. \return \b true i
source not stored for this graph (policy: none)