\brief Verify an \e if block like `V = (V s< 0) ? V + 2^n-1 : V` \param op is the MULTIEQUAL \param npow is the constant 2^n \return the Varnode V in the form, or null if the form doesn't match
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected