Fix(default alias-analysis): rework SCC path enumeration, SwitchInt constraints, and caching#228

hxuhack merged 2 commits intosafer-rust:mainsafer-rust/RAPx:mainfrom

yilin0518:team-mainyilin0518/RAPx:team-mainCopy head branch name to clipboard