If judgment is rendered for the plaintiff before the property is thus discharged, a special execution shall be issued against it. If it has been previously discharged, the execution shall issue against the principal and sureties in the bond without further proceedings.
Iowa Code § 667.8