def t17(R): R.assertTrue(branches.fun2(2,3,5) == 7)
def t15(R): R.assertTrue(branches.fun2(3, 2, -5) == -11)
def t16(R): R.assertTrue(branches.fun2(3,17,4) == 20)
def t13(R): R.assertTrue(branches.fun2(-1,-1,-1) == -2)
def t14(R): R.assertTrue(branches.fun2(-10,3,-1) == -37)
def t12(R): R.assertTrue(branches.fun2(1,-1,-1) == 0)
def t11(R): R.assertTrue(branches.fun2(-1,1,-1) == -4)
def t10(R): R.assertTrue(branches.fun2(-1,-1,1) == 3)
def t9(R): R.assertTrue(branches.fun2(1,1,-1) == -2)
def t7(R): R.assertTrue(branches.fun2(1,1,1) == 3)