Does asking your LLM to add pre-and-post-conditions to your code actually ever help?

in progress