public void ShouldGetOneProblemWithNoOperationContractValuesDeclared()
        {
			InconsistentServiceContract rule = new InconsistentServiceContract();
			TypeNode typeNode = RuleHelper.GetTypeNodeFromType(typeof(INoOperationContractValuesDeclared));
			rule.Check(typeNode);
			Assert.AreEqual(0, rule.Problems.Count);

			rule.Check(RuleHelper.GetMemberForOperation(typeNode, "Operation"));
            Assert.AreEqual(1, rule.Problems.Count);
        }
		public void ShouldGetOneProblemWithNotAllowedSessionDeclared()
        {
			InconsistentServiceContract rule = new InconsistentServiceContract();
			TypeNode typeNode = RuleHelper.GetTypeNodeFromType(typeof(INotAllowedSessionDeclared));
			rule.Check(typeNode);

			Assert.AreEqual(0, rule.Problems.Count);

			rule.Check(RuleHelper.GetMemberForOperation(typeNode, "Operation"));
            Assert.AreEqual(1, rule.Problems.Count);
            Assert.AreEqual("remove", rule.Problems[0].Resolution.Items[0]);
        }