def p_expr_lparen_expr_rparen(p):
    p[0] = p[2]
Create a state change that will bring the discovered dataset into the
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_lparen_expr_rparen--crossover with--dataset/ETHPy150Open ClusterHQ/flocker/flocker/node/agents/blockdevice.py/IDatasetStateChangeFactory.from_state_and_config