build

`UninterpretedConstOracle` refactor (#2734) #6384

Job	Run time
scaladoc-check	4m 19s
build-mdbook	6s
compiler-warnings	3m 35s
docker-tests	24m 0s
format-check	6m 26s
integration-tests (ubuntu-latest, oopsla19)	20m 45s
integration-tests (ubuntu-latest, arrays)	11m 6s
integration-tests (macos-latest, oopsla19)	32m 46s
unit-tests (ubuntu-latest)	13m 50s
unit-tests (macos-latest)	11m 57s
	2h 8m 50s

Provide feedback