def p_invariants_invariants_invariant(p):
    p[0] = p[1]
    p[1].append(p[2])
invariants : invariants invariant
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_invariants_invariants_invariant