cleanup PrivAnalysis.cpp
Adding layout to PropagateAnalysis.cpp. TODO: 1. Get value from PassManager; 2. Figure out layout for value propagation