Name tensors inside nested structures#581

ppotapov-aws wants to merge 1 commit intomainleanprover/KLR:mainfrom

ppotapov/tensor_namingleanprover/KLR:ppotapov/tensor_namingCopy head branch name to clipboard