combinatorial branch counting now works but is not yet automated....