ensureAnd method

@TagNumber(12) Proof_And ensureAnd()

Implementation

@$pb.TagNumber(12)
Proof_And ensureAnd() => $_ensure(11);