testing may-alias on server
fix a bug of instn (wrongly skipping some edges which need to be instantiated), and also fix a bug for type smashing, but we still have some bugs for type-comp-smashing, add a new cache for edge instantiation
Merge branch 'master' of https://github.com/fredfeng/Scuba