Proof that the  extractable version of is_value_of_expr
(xis_value_of_expr) is equivalent to the original.