Add explicit symbol name for isKResult function on Readme#4807

0xkohe wants to merge 1 commit intoruntimeverification:masterruntimeverification/k:masterfrom

0xkohe:patch-10xkohe/k:patch-1Copy head branch name to clipboard