lower branch/depth count for recursive_branching_jpf.java