fix: symbolic storage variables in counterexample + add path id to co…#578

0kn0t wants to merge 1 commit intoa16z:maina16z/halmos:mainfrom

0kn0t:main0kn0t/halmos:mainCopy head branch name to clipboard