Convert alias analysis and related functions to use SVs