Copy constructor.
execution_state( const execution_state& other);
execution_state
Strong guarantee. Internal allocations may throw.
*this lifetime will be independent of other's.
*this
other