confirmed....branch counting works on other examples....