def p_vardecl_symbol_colon_type_semi(p):
    p[0] = da.TypedSymbol(p[1],p[3])
Test find by branch
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_vardecl_symbol_colon_type_semi--crossover with--dataset/ETHPy150Open nvbn/coviolations_web/projects/tests/test_forms.py/FindTaskForBadgeFormCase.test_find_by_branch