`UninterpretedConstOracle` refactor #6383

Job	Run time
compiler-warnings	2m 50s
format-check	7m 26s
docker-tests	23m 42s
build-mdbook	9s
integration-tests (ubuntu-latest, oopsla19)	21m 45s
unit-tests (ubuntu-latest)	21m 46s
integration-tests (ubuntu-latest, arrays)	12m 10s
scaladoc-check	4m 22s
unit-tests (macos-latest)	15m 24s
integration-tests (macos-latest, oopsla19)	30m 45s
	2h 20m 19s

Provide feedback