Opt bvar with babylon counter #771

Job	Run time
compile-with-cmake	15m 37s
compile-with-make	13m 27s
gcc-compile-with-make-protobuf	18m 58s
clang-compile-with-bazel-bzlmod	28m 17s
clang-unittest	22m 45s
gcc-compile-with-bazel-workspace	9m 53s
gcc-compile-with-bazel-bzlmod	20m 14s
clang-unittest-asan	23m 26s
clang-compile-with-bazel-workspace	15m 48s
clang-compile-with-make-protobuf	19m 55s
	3h 8m 20s

Provide feedback