Update ForwardAnalyzer.h