def p_stmts_stmt(p):
    p[0] = [p[1]]
.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmts_stmt--crossover with--dataset/ETHPy150Open home-assistant/home-assistant/tests/helpers/test_template.py/TestUtilTemplate.test_distance_function_with_2_states