public void Verify(string name, int arity) { Assert.AreEqual(name, _p.Name()); Assert.AreEqual(arity, _p.Arity()); }