add Analysis Passes, towards #91