Make first prototype of flow analysis and selection expansion#340

LPTK wants to merge 3 commits intohkmc2hkust-taco/mlscript:hkmc2from

hkmc2-flowhkust-taco/mlscript:hkmc2-flowCopy head branch name to clipboard