checking deep branching