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