Update P-Token branch with latest master#747

tothtamas28 merged 5 commits into

feature/p-tokenruntimeverification/mir-semantics:feature/p-tokenfrom

masterruntimeverification/mir-semantics:masterCopy head branch name to clipboard