Cache subtype computations in KeYProgModelInfo#3944

unp1 merged 1 commit into

mainKeYProject/key:mainfrom

cache-subtypesKeYProject/key:cache-subtypesCopy head branch name to clipboard