def p_stmt_assert_expr_semi(p):
    p[0] = da.AssertStmt(p[2])
    p[0].lineno = p.lineno(1);
stmt : ASSERT expr SEMI
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_assert_expr_semi