def p_stmt_if_expr_lcb_stmt_rcb_else_LCB_stmt_RCB(p):
    p[0] = da.IfStmt(p[2],p[4],p[8])
    p[0].lineno = p.lineno(1);
stmt : IF expr LCB stmts RCB ELSE LCB stmts RCB
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_if_expr_lcb_stmt_rcb_else_LCB_stmt_RCB