\brief Generate the complementary equation given a \b true constraint and the input/output Varnodes it affects The equation is expressed as: only \b false values can reach the indicated input to a specific PcodeOp. The equation is attached to the output of the PcodeOp. \param vn is the output Varnode the equation will be attached to \param op is the specific PcodeOp \param slot is the input slot
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected