Removed the dependency on the number of formal parameters in the
muRascal function uids; this is fine given that muRascal does not
support overloading.