Fix: access of tuple should produce tuple for el > 1#568

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/fix_tuple_accessleanprover/KLR:ppotapov/fix_tuple_accessCopy head branch name to clipboard