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.
extract_proph_winner