A good trail of thought, but will the comment still apply if sub xxx is changed 6 months down the road by someone else? I prefer to describe this kind of thing with assertions instead - "executable comments", as
. This has the added benefit of making sure that changes that disturb such dependencies and implied relations don't slip by.