Clone work before attempting to ground
Clone work before attempting to ground

The user otherwise could get quite stuck, e.g. if attempting to ground df-subst
in biid, becaus it would mutate state.work in the grounding, but then fail the
verify.

abliss/tacro,abliss/tacro