Add an axiom for optional.ofZeroValue for verifier#1138

copybara-service[bot] wants to merge 1 commit into

maincel-expr/cel-java:mainfrom

test_952524537cel-expr/cel-java:test_952524537Copy head branch name to clipboard