def p_expr_symbol_lparen_exprs_rparen(p):
    p[0] = da.Call(*([p[1]] + p[3]))
Install a signal handler for USR1 that dumps stack traces
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_symbol_lparen_exprs_rparen--crossover with--dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/activate_debug_shell_on_signal