def t5(R): R.assertTrue(branches.fun1(1,0) == -9)
def t6(R): R.assertTrue(branches.fun1(-4, -4) == 45)
def t4(R): R.assertTrue(branches.fun1(0,1) == 18)
def t3(R): R.assertTrue(branches.fun1(1,-4) == 23)
def t2(R): R.assertTrue(branches.fun1(-1,4) == 23)
def t1(R): R.assertTrue(branches.fun1(1,-1) == 23)
def t0(R): R.assertTrue(branches.fun1(1,1) == 18)