curry wp_fork
@jihgfee pointed out on Mattermost that the current spec is confusing, and anyway we prefer curried specs nowadays. Also sort postcondition last as we usually do.
@jihgfee pointed out on Mattermost that the current spec is confusing, and anyway we prefer curried specs nowadays. Also sort postcondition last as we usually do.