Added checking for indistinct branches.