Adds functionality to verify that Call has the same number of parameters as Function has arguments