def p_stmt_while_expr_modifies_invariant_lcb_stmts_rcb(p):
    p[0] = da.WhileStmt(p[2],p[3],da.App(da.And(),*p[4]),p[6])
    p[0].lineno = p.lineno(1)
Parse kerning class definitions.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_while_expr_modifies_invariant_lcb_stmts_rcb--crossover with--dataset/ETHPy150Open googlei18n/nototools/nototools/gpos_diff.py/GposDiffFinder._parse_kerning_classes