Produce determenistic unique shared constants#603

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/determenistic_unique_shared_constantleanprover/KLR:ppotapov/determenistic_unique_shared_constantCopy head branch name to clipboard