Upstream 9.4 hypothesis cleanup#489

teorth merged 2 commits intoteorth:mainteorth/analysis:mainfrom

rkirov:upstream-9.4-hypothesis-cleanuprkirov/analysis:upstream-9.4-hypothesis-cleanupCopy head branch name to clipboard