public SyntacticalCoverNode(SyntacticalMatcher matcher, NodeView container)
		{
			this.container = container;
			this.matcherLabel = matcher.Label;
			this.matcher = matcher;
			
			this.matcherType = matcher.Type;
			
			matchedTokens ="";
			
			
			this.ChildAdded += new TreeNodeAddedHandler(OnChildAdded);
		}
		public MatchingArgs (SyntacticalMatcher matcher)
		{
			this.matcher = matcher;			
		}