Minor edits to the new BST example #6155

Job	Run time
smoke-test-and-release-windows	8m 10s
smoke-test-and-release-linux	6m 29s
fmt	1m 17s
smoke-test-and-release-macos-x86	15m 47s
test-and-release-macos	11m 8s
test-and-release-macos (record-history)	3m 2s
test-and-release-macos (no-std)	2m 53s
test-and-release-macos (no-alloc)	2m 55s
test-and-release-macos (singular)	3m 48s
test-and-release-macos (cvc5)	3m 16s
release	21s
	59m 6s

Provide feedback