private static UnifiedExpression CreateDot2(XElement node)
 {
     Contract.Requires(node != null);
     Contract.Requires(node.Name() == "dot2");
     return(UnifiedRange.CreateNotContainingMax(
                CreateExpresion(node.FirstElement()),
                CreateExpresion(node.LastElement())));
 }
 private static UnifiedExpression CreateRange(XElement node)
 {
     Contract.Requires(node != null);
     Contract.Requires(node.Name() == "Range");
     if (node.Value.Contains("..."))
     {
         var numbers = node.Value.Split(
             new[] { "..." }, StringSplitOptions.None);
         return(UnifiedRange.CreateNotContainingMax(
                    UnifiedIntegerLiteral.CreateInt32(
                        LiteralFuzzyParser.ParseBigInteger(numbers[0])),
                    UnifiedIntegerLiteral.CreateInt32(
                        LiteralFuzzyParser.ParseBigInteger(numbers[1]))));
     }
     {
         var numbers = node.Value.Split(
             new[] { ".." }, StringSplitOptions.None);
         return(UnifiedRange.Create(
                    UnifiedIntegerLiteral.CreateInt32(
                        LiteralFuzzyParser.ParseBigInteger(numbers[0])),
                    UnifiedIntegerLiteral.CreateInt32(
                        LiteralFuzzyParser.ParseBigInteger(numbers[1]))));
     }
 }