proof_datamerger: proof that output is zero when idle