public override IEnumerable<BcsExpressionNode> EnumerateChildNodes() { return new List<BcsAgentStateNode>() { CurrentState }.Concat(AllStates); } }