def test_add_bools():
  expect_type(add, [Bool, Bool], Bool)
Apply a rule down a tree - stop on success
dataset/ETHPy150Open iskandr/parakeet/test/compiler/test_type_inference.py/test_add_bools--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/strategies/traverse.py/top_down_once