Examples in this folder is for demonstrating alias analysis.