I probably wouldn’t do that, as it’s a developer issue to care about adhering to this requirement and it’s probably not related to any user input. E.g. this could be covered by (integration-) tests, which lets the real code be much more readable and simple while caring about the “does is actually work” in the place that’s meant to check that.
