Simplify this code: don't call AnalyzeBranch before doing simpler checks.