Add TODO about using litteral error message texts in test code.
Disallow args() to be called after returns() or throws().