def p_lvalue_symbol(p):
    p[0] = da.App(p[1])
A field should occur in fieldList.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_lvalue_symbol--crossover with--dataset/ETHPy150Open ralphm/wokkel/wokkel/test/test_data_form.py/FormTest.test_addField