Add method Analysis.uncoveredBranch()