investigate TypeAndNumberOfArgsIsCorrect

[Sanegv]

In function.go, line 275, we check if the types of the function parameters and the parameters passed in arguments are the same, but since we already check that the arguments exist at line 256, we can never get inside the check.