Number of arguments in the methods of the contract is now verified.