public override void PostWalkChoiceNodeDeclaration(ChoiceNodeDeclarationSyntax choiceNodeDeclarationSyntax) { 
			MethodsCalled["PostWalkChoiceNodeDeclaration"]=true;
		}
        public override void VisitChoiceNodeDeclaration(ChoiceNodeDeclarationSyntax choiceNodeDeclarationSyntax) {

            var identifier = choiceNodeDeclarationSyntax.Identifier;
            var location   = identifier.GetLocation();
            var name       = identifier.ToString();

            if (location == null) {
                return;
            }

            var decl = new ChoiceNodeSymbol(name, location, choiceNodeDeclarationSyntax, _taskDefinition);

            AddNodeDeclaration(decl);
        }
		// ChoiceNodeDeclarationSyntax
		public override bool WalkChoiceNodeDeclaration(ChoiceNodeDeclarationSyntax choiceNodeDeclarationSyntax) { 
			MethodsCalled["WalkChoiceNodeDeclaration"]=true;
			return true; 
		}