add Analysis Passes