It would be extremely helpful if we were able to add multiple versions of a proof within a single stage instead of the stage resetting to '1'. We cannot use WF Proof within even basic workflows because the stage resets, let alone automated workflows.
Because of this issue, we can't use WF Proof at all.