Fix: real word decorators are more complicated#569

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/fix_decotrator_unwrappingleanprover/KLR:ppotapov/fix_decotrator_unwrappingCopy head branch name to clipboard