Enhanced BackwardAnalysis