Verifying without caring about arguments that were passed