Update ForwardAnalyzer_2011.h