Never call UpdateTerminator() when AnalyzeBranch would fail.