public static void VerifyS(ChanceTree ct, double epsilon)
        {
            VerifyChanceTree vct = new VerifyChanceTree {
                Epsilon = epsilon
            };

            vct.Verify(ct);
        }
        public static void VerifyS(ChanceTree ct)
        {
            VerifyChanceTree vct = new VerifyChanceTree();

            vct.Verify(ct);
        }