ensureAnd method

@TagNumber(12) Proposition_And ensureAnd()

Implementation

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