def p_exprs_exprs_expr(p):
    p[0] = p[1]
    p[0].append(p[3])
Will check if section.option exists in config_file, return its value, default
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_exprs_exprs_expr--crossover with--dataset/ETHPy150Open jookies/jasmin/jasmin/config/tools.py/ConfigFile._get