The new Varnode will be assigned from the \e unique space, and it will already be put in the \e definition list as if it were the output of the given PcodeOp. The Varnode must still be set as the output. \param s is the size in bytes \param ct is the data-type to associate \param op is the given PcodeOp
source not stored for this graph (policy: none)