The source project of this merge request has been removed.
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.