more a todo than something for a wishlist: check is a parameter is specified more than once in a function specification (parameter with name "XYZ" already defined)