[Prover][trivial] Fix generation of IsValid
for variants with no fields
#42499
Loading
IsValid
for variants with no fields
#42499