Given a new \e consume value to push to a Varnode, determine if this changes the Varnodes consume value and whether to push the Varnode onto the work-list. \param val is the new consume value \param vn is the Varnode to push to \param worklist is the current work-list
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected