Fixing another bug with ids#674

aaronjeline wants to merge 3 commits intomaincedar-policy/cedar:mainfrom

schema-ids-bugfix2cedar-policy/cedar:schema-ids-bugfix2Copy head branch name to clipboard