@override Z3_sort buildSort(Context c) => throw AssertionError( 'RefSort should only be used in constructor fields', );