Method pushVnExplicit

This method pushes a given Varnode as a \b leaf of the current expression. It decides how the Varnode should get emitted, as a symbol, constant, etc., and then pushes the resulting leaf Atom onto the stack. \param vn is the given explicit Varnode \param op is the PcodeOp incorporating the Varnode into the current expression