add test_simplify_ifs