Many of our pldb relations have a large number of arguments. Being able to detect incorrect declarations early would not be bad.

Interesting, thanks for the patch. Will think about it.