Use stmt.location.method instead of stmt.method#312

Lipen merged 2 commits into

mainUnitTestBot/usvm:mainfrom

lipen/stmt-methodUnitTestBot/usvm:lipen/stmt-methodCopy head branch name to clipboard