\brief Add a constant variable node to the logical subgraph \param rop is the logical operation taking the constant as input \param mask is the set of bits holding the logical value (within a bigger value) \param slot is the input slot to the operation \param constvn is the original constant \return the new constant variable node
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected