Fix handling of arguments in numberof and alldiff.