Continuation change, extract_proph_winner change

The continuation Q is moved to the top level in the Accepted state.

extract_proph_winner now only considers the first element in the list and does not restrict the first value.