Specify more concrete type of memoryRegionId to avoid useless cast#326

Lipen wants to merge 1 commit intomainUnitTestBot/usvm:mainfrom

lipen/memory-region-idUnitTestBot/usvm:lipen/memory-region-idCopy head branch name to clipboard