\brief Generate an equation given a \b true constraint and the input/output Varnodes it affects The equation is expressed as: only \b true 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 of the constrain
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected